PENANGANAN PERKARA MASA DEPAN : KE ARAH PUBLIC INTEREST LITIGATION

Functional Interest Advocacy in Modern Complex Litigation

KE Tableaux for Public Announcement Logic

Public announcement logic (PAL) is a simple dynamic epistemic logic extending reasoning about knowledge of agents with a modal operator for simultaneous and transparent knowledge updates. This logic is no more expressive than epistemic logic (EL) without updates, but exhibits compact representation of a number of complex epistemic situations. A labeled tableau proof system to reason with these ...

Justice and Experimentalism: The Judiciary’s Remedial Function in Public Interest Litigation in Argentina

A Comparative Study on the Domestic and Overseas Public Interest Litigation System

The rapid economic development of our country is accompanied with a series of problems that should not be ignored, including environmental pollution, erosion of state assets, infringement on public interest and so on, but it is difficult to properly solve these problems in short term as a result of imperfection of the existing legal system and inadequate supervision. Through the comparative stu...

NTRU-KE: A Lattice-based Public Key Exchange Protocol

Public key exchange protocol is identified as an important application in the field of public-key cryptography. Most of the existing public key exchange schemes are Diffie-Hellman (DH)-type, whose security is based on DH problems over different groups. Note that there exists Shor’s polynomial-time algorithm to solve these DH problems when a quantum computer is available, we are therefore motiva...